'xxx'1 =a1 'yyy'1 = ff $\in$ $\mathbb{B}$